Answer set programming - PDFSEARCH.IO - Document Search Engine

Answer set programming
Results: 107

#	Item
101	Anza Island: Novel Gameplay Using ASP Kate Compton Adam Smith Michael Mateas Add to Reading List Source URL: adamsmith.as Language: English - Date: 2013-03-17 01:17:51 Games Constraint programming Logic programming Programming paradigms Procedural generation Answer set programming Constraint satisfaction Open world Guitar Hero Video game design Video game development Software
102	Compositional procedural content generation Julian Togelius Tróndur Justinussen Anders Hartzen Add to Reading List Source URL: julian.togelius.com Language: English - Date: 2013-08-26 11:58:53 Cybernetics NP-complete problems Evolution Evolutionary algorithm Search algorithm Algorithm Boolean satisfiability problem Answer set programming Maze generation algorithm Theoretical computer science Mathematics Applied mathematics
103	An Implementation of Statistical Default Logic Gregory R. Wheeler and Carlos Dam´asio Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´ atica, Universidade Nova de Lisboa[removed]Caparica, Portugal Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:17 Non-classical logic Boolean algebra Default logic Knowledge representation Propositional calculus Stable model semantics First-order logic Answer set programming Well-formed formula Logic Mathematical logic Logic programming
104	Exploiting Conjunctive Queries in Description Logic Programs? Thomas Eiter1 , Giovambattista Ianni1,2 , Thomas Krennwallner1 , and Roman Schindlauer1,2 1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Mathematical logic Logic in computer science Semantic Web Conjunctive query Database theory Description logic Datalog Answer set programming Stable model semantics Theoretical computer science Logic Logic programming
105	PDF Document Add to Reading List Source URL: www.depts.ttu.edu Language: English - Date: 2011-09-19 10:31:27 Artificial intelligence Stable model semantics Negation as failure Prolog Answer set programming Negation Inference Natural deduction Admissible rule Logic programming Logic Software engineering
106	PDF Document Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2004-12-10 03:34:14 Logic programming Propositional calculus Boolean algebra Rules of inference Stable model semantics Answer set programming Resolution Atomic formula Negation Logic Mathematical logic Mathematics
107	PDF Document Add to Reading List Source URL: www2009.org Language: English - Date: 2009-03-19 16:32:23 Reasoning Logic programming Query languages Semantic Web Programming paradigms Datalog Prolog Semantic reasoner Answer set programming Computing Software engineering Artificial intelligence